<?php
	function setNacimiento($nacimiento){
		$day=(int)substr($nacimiento,0,2);
		$month=(int)substr($nacimiento,3,2);
		$year=(int)substr($nacimiento,6,4);
		$nacimiento=strtotime($year."/".$month."/".$day);
		echo "nacimiento mktime: ".$nacimiento;
		echo date(DATE_RFC1123,$nacimiento);
	}
	
	function prova3(){
		$nacimiento = strtotime("12/04/2001","DD / MM / YY");
		echo date(DATE_W3C,$nacimiento);
	}
	
	//setNacimiento("18/04/1984");
	function prova(){
		$tUnixTime = time();
		$sGMTMySqlString = gmdate("Y-m-d H:i:s", $tUnixTime);
		$tParsedTime = strtotime($sGMTMySqlString . " GMT");
		print "Original Time: " . date(DATE_W3C, $tUnixTime);
		print "Parsed Time: " . date(DATE_W3C, $tParsedTime);
	}
	
	echo gettype(new DateTime());
?>
